Search-based software engineering

Results: 28



#Item
1Sorting algorithms / Mathematics / Computer programming / Software engineering / Quicksort / Merge sort / Best /  worst and average case / Binary search algorithm / Recursion / Binary logarithm / Heapsort / Insertion sort

Analysis with parallel partition 11 —  We know a pack is O(n) work, O(log n) span ¡  Based

Add to Reading List

Source URL: twiki.di.uniroma1.it

Language: English - Date: 2015-10-28 09:23:18
2Software engineering / Software quality / Program analysis / Search-based software engineering / Software testing / SBSE / Mark Harman / Code refactoring / Computer science

Search Based Software Engineering: Foundations, Challenges and Recent Advances Marouane Kessentini SBSE Research Lab, CIS Department, College of Engineering and Computer Science,

Add to Reading List

Source URL: www.wcci2016.org

Language: English - Date: 2016-07-21 21:14:50
3Software engineering / Software quality / Program analysis / Search-based software engineering / Software testing / SBSE / Mark Harman / Code refactoring / Computer science

Search Based Software Engineering: Foundations, Challenges and Recent Advances Marouane Kessentini SBSE Research Lab, CIS Department, College of Engineering and Computer Science,

Add to Reading List

Source URL: wcci2016.org

Language: English
4Software engineering / Computing / Computer programming / Concurrency control / Concurrent computing / Edsger W. Dijkstra / Object-oriented programming languages / Concurrent programming languages / Concurrency / Concurrent data structure / Thread / SCOOP

Using Contracts to Guide the Search-Based Verification of Concurrent Programs Christopher M. Poskitt1 and Simon Poulding2 1 2

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2013-08-09 13:49:10
5Information science / Information retrieval / Search algorithms / Dynamic programming / Dynamic time warping / Time series analysis / Music software / Computing / MIDI / Hash function / FluidSynth / Music information retrieval

LARGE-SCALE CONTENT-BASED MATCHING OF MIDI AND AUDIO FILES Colin Raffel, Daniel P. W. Ellis LabROSA, Department of Electrical Engineering Columbia University, New York, NY {craffel,dpwe}@ee.columbia.edu ABSTRACT

Add to Reading List

Source URL: colinraffel.com

Language: English - Date: 2015-11-09 14:28:44
6Software engineering / Software testing / Computing / Theoretical computer science / Formal methods / Logic in computer science / Object-oriented programming / Postcondition / Random testing / Eiffel / General-purpose computing on graphics processing units / Test data generation

Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2013-08-30 12:25:15
7Software / Information science / Search engine software / Information retrieval / Apache Solr / NoSQL / Internet search engines / File system / BASE

Search-based business intelligence and reverse data engineering with Apache Solr Mario-Leander Reimer Chief Technologist

Add to Reading List

Source URL: events.linuxfoundation.org

Language: English - Date: 2015-09-28 17:37:56
8Science / Systems engineering / Mark Harman / Year of birth missing / Search-based software engineering / Metamorphic testing / Regression testing / Reliability engineering / Software engineer / Software testing / Software engineering / Software development

Curriculum Vitæ Shin Yoo May 2012

Add to Reading List

Source URL: www0.cs.ucl.ac.uk

Language: English - Date: 2012-05-08 10:56:12
9Artificial intelligence applications / Software / Image retrieval / Content-based image retrieval / Annotation / Image search / Artificial intelligence / Vision

Automated annotation tools Professor Anthony Maeder from the School of Computing, Engineering and Mathematics will lead the design and implementation of cloudbased software providing a toolkit for use in the management o

Add to Reading List

Source URL: thril.uws.edu.au

Language: English - Date: 2013-10-30 22:22:02
10Subroutines / Mechanics / AS/400 Control Language / Strict function / Software engineering / Computing / Parameter

Internet programming with Java The Role of Form Data If you’ve ever used a search engine, visited an on-line bookstore, tracked stocks on the Web, or asked a Web-based site for quotes on plane tickets, you’ve probabl

Add to Reading List

Source URL: www.nakov.com

Language: English - Date: 2013-01-30 18:10:45
UPDATE